A. Das, I. van der Giessen, S. Marin; "Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics"
メモ
Anupam Das
Iris van der Giessen
Sonia Marin